THE MCKINSEY-TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES
نویسندگان
چکیده
We prove that the modal logic of a crowded locally compact generalized ordered space is . This provides version McKinsey–Tarski theorem for spaces. then utilize this to axiomatize an arbitrary space.
منابع مشابه
A New Proof of the Mckinsey-tarski Theorem
It is a landmark theorem of McKinsey and Tarski that if we interpret modal diamond as closure (and hence modal box as interior), then S4 is the logic of any dense-initself metrizable space [14, 17]. The McKinsey-Tarski Theorem relies heavily on a metric that gives rise to the topology. We give a new and more topological proof of the theorem, utilizing Bing’s Metrization Theorem [8, 10].
متن کاملLocally Compact, Ω1-compact Spaces
This paper is centered on an extremely general problem: Problem. Is it consistent (perhaps modulo large cardinals) that a locally compact space X must be the union of countably many ω-bounded subspaces if every closed discrete subspace of X is countable [in other words, if X is ω1-compact]? A space is ω-bounded if every countable subset has compact closure. This is a strengthening of countable ...
متن کاملLocally Compact Path Spaces
It is shown that the space X [0,1], of continuous maps [0, 1] → X with the compact-open topology, is not locally compact for any space X having a nonconstant path of closed points. For a T1-space X, it follows that X [0,1] is locally compact if and only if X is locally compact and totally path-disconnected. AMS Classification: 54C35, 54E45, 55P35, 18B30, 18D15
متن کاملOne-point extensions of locally compact paracompact spaces
A space $Y$ is called an {em extension} of a space $X$, if $Y$ contains $X$ as a dense subspace. Two extensions of $X$ are said to be {em equivalent}, if there is a homeomorphism between them which fixes $X$ point-wise. For two (equivalence classes of) extensions $Y$ and $Y'$ of $X$ let $Yleq Y'$, if there is a continuous function of $Y'$ into $Y$ which fixes $X$ point-wise. An extension $Y$ ...
متن کاملFuzzifying Strongly Compact Spaces and Fuzzifying Locally Strongly Compact Spaces
In this paper, some characterizations of fuzzifying strong compactness are given, including characterizations in terms of nets and pre -subbases. Several characterizations of locally strong compactness in the framework of fuzzifying topology are introduced and the mapping theorems are obtained.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Bulletin of Symbolic Logic
سال: 2021
ISSN: ['1943-5894', '1079-8986']
DOI: https://doi.org/10.1017/bsl.2021.16